Configure the base port number for sim autogenerated ports. 🔼

Some like to start in the low 8000, some 9000.

reported=2021-08-13 23:15:25

reporter=onefang

priority=urgent

category=Feature

severity=tweak